Algebraische Algorithmen

Projektleitung und Mitarbeiter

Hagel, G. (Dr. rer. nat.), Loos, R. G. K. (Prof. Dr. rer. nat.), Schupp, S. (Dipl. Math.), Simon, G. (Dr. rer. nat.)

Mittelgeber :

Forschungsbericht : 1994-1996

Tel./ Fax.:

Projektbeschreibung

Ziel der Arbeiten ist der Entwurf und die Analyse effizienter algebraischer Algorithmen, die im Gegensatz zum numerischen Rechnen immer exakte Resultate liefern, wenn auch häufig mit sehr viel höherem Zeit- und Speicherbedarf. Basierend auf Polynomrestfolgen über ganz rationalen und algebraischen Zahlen sowie Resultantenalgorithmen stehen Entscheidungs- und nichtlineare Gleichungsprobleme über reell abgeschlossenen und linearen Körpern im Vordergrund der Forschung. Die Algorithmen sind im Zusammenhang einer internationalen Computeralgebrabibliothek, an der die Arbeitsgruppe mitarbeitet, implementiert und frei verfügbar.

Publikationen

Loos, R., Weispfennig, V.: Applying linear quantifier elimination. Computer J. 5 (1993).

INDEX HOME SUCHEN KONTAKT LINKS

qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96
Copyright Hinweise